package simbolo;

import java.util.TreeSet;

/**
 * @author tinia
 * Símbolo al que sólo se le permite ser una letra minúscula;
 */
public class Terminal extends Simbolo {

	public Terminal(Character c) {
		assert ('a' <= c && c <= 'z' );
		_caracter = c;
	}
	
	public Terminal(String s) {
		// Sólo importa el primer caracter.
		Character c = s.charAt(0);
		assert ('a' <= c && c <= 'z' );
		_caracter = c;
	}
	
	public Terminal copy() {
		return new Terminal(_caracter);
	}
	
	public TreeSet<Simbolo> getPestrella() {
		TreeSet<Simbolo> resultado = new TreeSet<Simbolo>();
		resultado.add(this);
		return resultado;
	}
}
